|
In mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, this is an explicit expression that the group is a nilpotent group, and for matrix rings, this is an explicit expression that in some basis the matrix ring consists entirely of upper triangular matrices with constant diagonal. This article uses the language of group theory; analogous terms are used for Lie algebras. The lower central series and upper central series (also called the descending central series and ascending central series, respectively), are characteristic series, which, despite the names, are central series if and only if a group is nilpotent. ==Definition== A central series is a sequence of subgroups : such that the successive quotients are central; that is, (''A''''i'' + 1 ) ≤ ''Ai'', where (''H'' ) denotes the commutator subgroup generated by all ''g''−1''h''−1''gh'' for ''g'' in ''G'' and ''h'' in ''H''. As (''A''''i'' + 1 ) ≤ ''Ai'' ≤ ''A''''i'' + 1, in particular ''A''''i'' + 1 is normal in ''G'' for each ''i'', and so equivalently we can rephrase the 'central' condition above as: ''A''''i'' + 1/''Ai'' commutes with all of ''G''/''Ai''. A central series is analogous in Lie theory to a flag that is strictly preserved by the adjoint action (more prosaically, a basis in which each element is represented by a strictly upper triangular matrix); compare Engel's theorem. A group need not have a central series. In fact, a group has a central series if and only if it is a nilpotent group. If a group has a central series, then there are two central series whose terms are extremal in certain senses. Since ''A''1 ≤ ''Z''(''G''), the largest choice for ''A''1 is precisely ''A''1 = ''Z''(''G''). Continuing in this way to choose the largest possible ''A''''i'' + 1 given ''Ai'' produces what is called the upper central series. Dually, since ''An''= ''G'', the commutator subgroup (''G'' ) satisfies (''G'' ) = (''An'' ) ≤ ''A''''n'' − 1. Therefore the minimal choice for ''A''''n'' − 1 is (''G'' ). Continuing to choose ''Ai'' minimally given ''A''''i'' + 1 such that (''A''''i'' + 1 ) ≤ ''Ai'' produces what is called the lower central series. These series can be constructed for any group, and if a group has a central series (is a nilpotent group), these procedures will yield central series. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Central series」の詳細全文を読む スポンサード リンク
|